Minimal Generalized Answer-Sets and their Applications
نویسندگان
چکیده
When intelligent agents get new knowledge and this knowledge must be added or updated to their knowledge base, then it is important to avoid inconsistencies. In this paper, we propose a semantics for update sequences of programs. The semantics is proposed as an application of an extension of the notion of generalized answer sets. This extension is also introduced in this work.
منابع مشابه
Generalized Regular Fuzzy Irresolute Mappings and Their Applications
In this paper, the notion of generalized regular fuzzy irresolute, generalized regular fuzzy irresolute open and generalized regular fuzzy irresolute closed maps in fuzzy topological spaces are introduced and studied. Moreover, some separation axioms and $r$-GRF-separated sets are established. Also, the relations between generalized regular fuzzy continuous maps and generalized regular fuzzy ...
متن کاملFan-KKM Theorem in Minimal Vector Spaces and its Applications
In this paper, after reviewing some results in minimal space, some new results in this setting are given. We prove a generalized form of the Fan-KKM typetheorem in minimal vector spaces. As some applications, the open type of matching theorem and generalized form of the classical KKM theorem in minimal vector spaces are given.
متن کاملGroup Generalized Interval-valued Intuitionistic Fuzzy Soft Sets and Their Applications in\ Decision Making
Interval-valued intuitionistic fuzzy sets (IVIFSs) are widely used to handle uncertainty and imprecision in decision making. However, in more complicated environment, it is difficult to express the uncertain information by an IVIFS with considering the decision-making preference. Hence, this paper proposes a group generalized interval-valued intuitionistic fuzzy soft set (G-GIVIFSS) which conta...
متن کاملApplications of Intuitionistic Logic in Answer Set Programming
We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given. Some equivalence notions and their applications are discussed. Some results on intermediate logics are shown, and applied later to prove properties of answer sets. A character...
متن کاملDecomposition of supra soft locally closed sets and supra SLC-continuity
In this paper, we introduce two different notions of generalized supra soft sets namely supra A--soft sets and supra soft locally closed sets in supra soft topological spaces, which are weak forms of supra open soft sets and discuss their relationships with each other and other supra open soft sets [{it International Journal of Mathematical Trends and Technology} (IJMTT), (2014) Vol. 9 (1):37--...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006